Phase transitions for random walk asymptotics on free products of groups

Suppose we are given finitely generated groups Γ1, . . . ,Γm equipped with irreducible random walks. Thereby we assume that the expansions of the corresponding Green functions at their radii of convergence contain only logarithmic or algebraic terms as singular terms up to sufficiently large order (except for some degenerate cases). We consider transient random walks on the free product Γ1 ∗ . . . ∗ Γm and give a complete classification of the possible asymptotic behaviour of the corresponding n-step return probabilities. They either inherit a law of the form ̺ni logi n from one of the free factors Γi or obey a ̺ n-law, where ̺ < 1 is the corresponding spectral radius and δ is the period of the random walk. In addition, we determine the full range of the asymptotic behaviour in the case of nearest neighbour random walks on free products of the form Z1 ∗ . . . ∗Zm . Moreover, we characterize the possible phase transitions of the non-exponential types ni logi n in the case Γ1 ∗ Γ2.